Unaprjeđenje pouzdanosti softvera: Duboki zaron u upravljanje resursima sigurno na tipovima uz tipove sistemske alokacije | MLOG | MLOG